(module binary
  "\00\61\73\6d\01\00\00\00\01\91\80\80\80\00\04\60"
  "\00\00\60\00\01\7f\60\00\01\7d\60\01\7f\01\7f\03"
  "\87\80\80\80\00\06\00\01\01\02\03\01\05\84\80\80"
  "\80\00\01\01\01\01\07\eb\80\80\80\00\06\0f\7a\65"
  "\72\6f\5f\65\76\65\72\79\74\68\69\6e\67\00\00\12"
  "\74\65\73\74\5f\73\74\6f\72\65\5f\74\6f\5f\6c\6f"
  "\61\64\00\01\13\74\65\73\74\5f\72\65\64\75\6e\64"
  "\61\6e\74\5f\6c\6f\61\64\00\02\0f\74\65\73\74\5f"
  "\64\65\61\64\5f\73\74\6f\72\65\00\03\06\6d\61\6c"
  "\6c\6f\63\00\04\0f\6d\61\6c\6c\6f\63\5f\61\6c\69"
  "\61\73\69\6e\67\00\05\0a\bd\81\80\80\00\06\9e\80"
  "\80\80\00\00\41\00\41\00\36\02\00\41\04\41\00\36"
  "\02\00\41\08\41\00\36\02\00\41\0c\41\00\36\02\00"
  "\0b\98\80\80\80\00\00\41\08\41\00\36\02\00\41\05"
  "\43\00\00\00\80\38\02\00\41\08\28\02\00\0b\a2\80"
  "\80\80\00\01\02\7f\41\08\28\02\00\21\00\41\05\41"
  "\80\80\80\80\78\36\02\00\41\08\28\02\00\21\01\20"
  "\00\20\01\6a\0b\9f\80\80\80\00\01\01\7d\41\08\41"
  "\a3\c6\8c\99\02\36\02\00\41\0b\2a\02\00\21\00\41"
  "\08\41\00\36\02\00\20\00\0b\84\80\80\80\00\00\41"
  "\10\0b\a3\80\80\80\00\01\02\7f\41\04\10\04\21\00"
  "\41\04\10\04\21\01\20\00\41\2a\36\02\00\20\01\41"
  "\2b\36\02\00\20\00\28\02\00\0b"
)
(assert_return (invoke "test_store_to_load") (i32.const 128))
(invoke "zero_everything")
(assert_return (invoke "test_redundant_load") (i32.const 128))
(invoke "zero_everything")
(assert_return (invoke "test_dead_store") (f32.const 0x1.18p-144))
(invoke "zero_everything")
(assert_return (invoke "malloc_aliasing") (i32.const 43))
